heyting algebra - Espagnol Anglais Dictionnaire